König von Lotharingen = Könige von Lothringen

---